+ Exporting empty env in TypeInference
+ Syntax of expressions in K-Normal form
+ Counters for KNormalization
+ KNormalization

KNormalization of case is right now very ugly and can be improved.
With introduction of user defined datatype it needs to be changed.
+ Very initial version of the compiler module
Merge branch 'feature/K-normalization' into develop