add lint check on self and mutual recursion without optional

[florianschanda]

The lint part should complain if you create a type with a non-optional self-reference, or build some kind of mutual recursion where all links are non-optional.