[ken]

Is there an alternative term which has arisen for what Lisp traditionally calls "type inference"?

[rayiner]

SBCL calls it type propagation, which is fairly descriptive. (At least in SBCL, it's implemented as a data flow analysis that propagates constraints on the types of lexical variables: https://www.pvk.ca/Blog/2013/11/22/the-weaknesses-of-sbcls-t...).