Lint.
Merge pull request #91 from strager/fix-repl-type-inference

Fix order of REPL stack types given to inference
Make definitions always point to functions