Try to avoid creating captures

Ignore elisp files

 * Use haskeline to alleviate headaches
 * Update to latest lts

 * Fix formatting
 * Update GHC >= 8

Implement Type Application

 * Refactor types
 * Add Type Abstraction

Add a universal type

Add rules for application and type abstraction

Set optparse-applicative < 0.13, since 0.13 introduced breaking changes

Add type application

 * Add type abstraction `\X. body`
 * enforce case for variable names
   * Types begin with a capital
   * Variables begin with a lower

X->Y -> Z => X->Y->Z

Add type parser to abs parser

Split parser into two separate parsers
 * Expression Parser
 * Type parser

If we are printing an abs arg, supress the spaces between
arrows