Replace metas with named type variables in REPL

[LightAndLight]

When :type returns a type containing metavariables, they appear in the printed output.

e.g.

> :type \x y -> x
?0 -> ?1 -> ?0

in Repl::type_of, rename the replace the metavariables with type variables. The above example should return something like a -> b -> a.