Add recursive syntax validation for type (draft v3)

Signed-off-by: Francis Galiegue <fgaliegue@gmail.com>
Add recursive syntax validation for disallow

In fact, adding checks to "type" did it already.

Signed-off-by: Francis Galiegue <fgaliegue@gmail.com>