Parse data constructors, guarded expressions, literals. Disallow negatives/floating points. Fix function calls.