Add mono_nat_own_alloc_strong

This MR adds a strong variant of mono_nat_own_alloc, similarly to the ones in ghost_map, ghost_var, etc. This was necessary for examples!59.