-  profile_canonical_value(+Attribute, +ValueIn, -Value) is det
 - True when Value is the canonical value for Attribute that
satisfies the type constraint for Attribute.
- Errors
 - - 
type_error(Type, ValueIn) if the type is wrong - - 
existence_error(profile_attribute, Attribute) if the
attribute is unknown.