Implemented Type (with just a UnitType not real binding for now).