add a lattice element type for constants in inference

this simplifies some of the code, and gives sharper type information.
fixes #5090, type inference of `&&` and `||` chains
also makes it easier to deal with #5560 and #14324

Author: JeffBezanson