>>129
[補足]
・xが名前トークンでも意味論的にxが型名とみなせる場合にはxは型だと扱われる。
・xが変数名の場合には変数だとみなされる。
・xが変数名の場合には、x&yは文法の中の有る規則にマッチングするので
　受理されるが、xが変数名の場合にはx&という文法規則は存在してないので
　どんな文法規則にもマッチングできないのでエラーになる。