Hi all,

Is there any way to get the type of (part of) a program? Something like:
   type_of(M) = sigma
computing the type of program M as sigma so I can pattern match it.