WIP
WIP
Adding bidirectional type inference algorithm and alex based lexer