Propogate expression types and add support for math operations