Object types

- Added representation for type variables