default type added
simpler constraints
simpler constraints translations
return value can be false or nil
support for multiple constraints added
support for multiple constraints added