fixed bug
fixed small bug
added support for quantifying properties in type categories