First commit

Uploading initial commit. So far implemented the following:
BinaryExpression based type inference