BIG UPDATE

- type system (static typing)
- new types: MInt, MBool, MNull
- new literal: o, x (MBool)
- new syntax: unless
- new binary operator: ! (factorial)
- fix some bugs!