start testing type intersection metafunction