Add details on which type inference I implemented