Warn when two closures or two incompatible values are joined
Add parameter values when printing function calls
Add nullable to the lattice