Added Lenses to project and started to work on type inference
Type inference is nearly finished
Built a fabuilzer for inferred types
Added ability to print types of values, which is almost useless for now
Fixed bug in type inference and corrected types in Prelude
Apparently implemented TI doesn't work, this commit doesn't fix that

I should read up on how to implement type inference properly