Tweak the way default patterns are added in IL2.

We need to check exhaustiveness in IL1, wrt the constructor
environments, but we need to add the expression to raise Bind in IL2
where we can use bind_tag and know that the name Bind hasn't been
shadowed.