prototype: Added GHCi-like thing.
prototype: Tidying up
prototype: eta-expand metavars before expanding terms.