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.