Aliases don't work with non-recursive definitions

[lukaszcz]

Typechecking

module aliases;

import Stdlib.Data.Nat open;

Name : Type := Nat;

syntax alias T := Name;

gives

/home/heliax/Documents/progs/juvix/aliases.juvix:7:19-23: error:
Symbol not in scope: Name
Perhaps you meant: Nat

However, typechecking

module aliases;

import Stdlib.Data.Nat open;

Name (A : Type) : Type := Nat;

syntax alias T := Name;

succeeds.

The problem seems to be that after merging PR #3138 the non-recursive definition names are not pre-reserved. The syntax alias declaration seems to be resolved in an earlier stage using the reserved names instead of using the defined ones later on.