Types: Add Bounded, Enum to types
Add test suite