Starting to implement type inference