Changed syntax for function types from '.' to ','.
Had left recursion in grammar: expr -> app -> expr expr.