Consider the following declarations:
1. type cell         –– a forward declaration
2. type cell_ptr = pointer to cell
3. x : cell
4. type cell = record
5.         val : integer
6.         next : cell ptr
7. y : cell
Should the declaration at line 4 be said to introduce an alias type? Under strict name equivalence, should x and y have the same type? Explain.