Revised TypeKinds and improved initialisation