apply a static formula for converting a signature into a type
this transform ensures that simple type equality suffices
to compute the subtyping relation for matching a method signature
(no additional rule of ensuring all parameters match would be necessary)
