Optimize generated bytecode

[TopchetoEU]

Currently, the bytecode is VERY suboptimal. Suboptimal to the extent of an while-true checking whether or not true is true every time.

Make the adequate infrastructure for optimizing the AST and bytecode, and implement some basic optimizations.