Takes a value and a key for a spec, throw an exception if value doesn’t match the spec, otherwise return passed value