Types declared in type features cannot be referenced. Maybe forbid them?

[fridis]

This code creates two type features that themselves declare types.

test_type is

  type.point(x, y i32) is

  type.opt : choice i32 bool is

This currently compiles without problem, but it is useless since there is no syntax to describe the type of point or opt. We should probably forbid this.