Infer the types of activations.
Improve 'Show' instance for 'Resolved'.
Add help and multiline input to REPL.