Treating deep patterns as inferred types, allowing them to masquerade as whatever is expected, resolves #472