+ Checking if pattern has subpatterns
+ Eliminating nested patterns in let expressions
Merge branch 'feature/eliminate-let-subpatterns' into develop
+ Comment on let expression syntax
+ 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
+ Alpha Conversion
+ Readme update
+ Beta reduction
+ Changelog update
+ Flattening of nested lets
+ Changelog update
+ Environment for inlining
+ Computing size of expressions
+ Alpha conversion extended for purpose if inlining
+ Function inlining