Added Ord typeclass and >, <, <=, >= operators. Allowed recursive functions
Infer as little as required to avoid recursive dependencies
Generate Ord for integers
Optimize calls to functions
Fixed a bug in code generation
Updated examples
Added support for +, - unary operators and combined assignment and binary operators