UNPACK
move coalesceGuarded to the top level. more work on
inferImplicitBindingType