+ type inference algo, initial implementation
+ tests for type inference
= fixed some version