Reexport desugaring and verification of typing rules

To write an extension it is now sufficient to import
extension.Declaration and possibly extension.TypeOf.

(Plus some syntax stuff like org.sugarj.languages.Fomega and concretesyntax. ...).