Seal ghost_var and mnat_own
Unification of own
tends to cause performance problems, so let's make sure we seal every library that wraps own
.
Unification of own
tends to cause performance problems, so let's make sure we seal every library that wraps own
.