Rewrite whole type system
Types Project - Initial state
Add Typed Expressions
Parser - Initial
Add ParserCombinators Submodule
Minor changes
Parsers for all language instances
Delete ParserCombinators because of troubles with submodules
..
Docs for mans and descriptions
Rewrite parser in modules style
Reborn of ParserCombinators
Add TestScript
Lamda magic solved!
Refactoring and Tests
Fix expression parsers bugs
Add binary tests
Add language specifications
Lambda may take many argumets
Add Unary, Lambda, FunApp and IfElse tests