Type Facets now in implementation