WIP - added test for expression type resolver.