string representation for binary operators
add type argument to expression type
add type argument in Elm module and type annotations in lib
define infix binary operators for Expression[Int]
Update example in main
add type arguments in parser
Replace Expression => Expr
Replace LambdaE => LamE1