doc: class diagram of language types

New function - function?.
doc: add FnForm, move grammar at beg, add non-func req
doc: only fixes
doc: don't break code across pages and show frame around
doc: explain validation
doc: no doc strings atm
doc: simplify fn form
Add checkstyle