/// Returns the current "merged type", representing our best-guess
/// at the LUB of the expressions we've seen so far (if any). This
/// Returns the current "merged type", representing our best-guess
/// at the LUB of the expressions we've seen so far (if any). This