(atj-type-annotate-mv-let term required-types? var-types mv-typess guards$ wrld) → (mv success annotated-term resulting-types new-mv-typess)