Modified update-expr-types to simply use the type of the expression if the
assignments do not include maplets.