Create Type_assertions