typesystem