call typeexpr_to_smt where appropriate

This puts us in a better position to implement array support. We were going to
have to replicate this functionality, which motivated refactoring it out into
something reusable first.