Use Haskeline for REPL input.
Factor 'lift' repetition.
Add field names to 'Def' record.
Add tab-completion of definitions in REPL.
Add builtins to REPL completions.