conforms

check whether a value conforms to an interface template