proved alternate form of has_type lemmas for records