Started work on fixing replCorrect for type inference