Working on expression typing.