envy_type_validator is a type spec, not an atom
Centralize type constraint declaration
Merge pull request #6 from christophermaier/type-spec-fix

Type spec fix