Handle patching expression with other domain
Remove bypass optimization
Working to bring up the tests
Re-fix some things
fixed ::root
kinda works
subtypes propagation