Preliminary infrastructure for metavars
Basic (broken) wildcard support
Wildcard example
Moved instantiation from infer to check
First shaky version that handles wild.tt
S.string_of_term now defaults to hiding set metavars
mva type changed from pair to record
Metavariables now contain type info