Alias question ( 1.0 )

[Edward Diener]

I am trying to understand the difference between and alias type and an 
alias declaration.

Is the distinction such that if the next token after 'alias' is a type, 
then the alias always refers to the full type including that token 
before the final alias name, but if the next token after 'alias' is not 
a type then the alias always refers to the complete declaration before 
the final alias name ? Or is there some other rule that determines 
whether or not an alias is an alias for a type as opposed to an alias 
for a declaration ?