Document #:forall form for typed classes
Minor refactoring