types in expressions, but presently buggy