Make synthetic variables inacessible (and thus inclashable) from the user language.
Make synthetic variables inacessible (and thus inclashable) from the user language.

felixvf/mirah,felixvf/mirah,felixvf/mirah,mirah/mirah,mirah/mirah,mirah/mirah,mirah/mirah,felixvf/mirah