adds expression grammar

- bool/int literal
- unary/binary expression
- function application
- variable expression