Added majority of type instance operations to Type class.