The type inference matrix guider!

0. Move to CoffeScript
1. Refactor utils
2. VariableType, LiteralType, ArrayType, AnonymousFunctionType
3. Create TypeProvider from variableIdentificationsOf
4. Functions
5. Scope
6. type params, return types
7. Math - BinaryExpresison

Hi!

If you want to contribute to morphues, we are more than happy! The steps are easy :)

1. pick some feature from the "TODO" list above or fix bug or have new feature you want to implement.
2. Fork and create branch named your feature - for example, support for type inference from BinaryExpression - "binaryexpression_support"
3. Make sure the tests are passing "npm test", and if you need add a new test
4. Create pull request, and we wil review it ASAP