Add some tests for assignment based type inference
Assignmment based type inference FIRST TRY