started work on Thunks on type inference