Commented code to avoid STRJ errors and fixed typos
Rules for case, variants, selection

Branches are typed using an additional internal constructor
BRANCH-TYPING by an escape to the (Stratego) meta level to
save an additional judgment.
Layout changes
Removed unnecessary rules and judgment syntax
Translate "in decl" judgment
Tests for selection, variant, and case
TypeRule -> TypingRule
Fixed syntax of kinds
Made the kinding relation extensible and started a generated kind checker
Removed unused definition
Generate kind checker and added pair and empty kind
Type operations for pair types
Recursive types and many other bug fixes
Commented currently broken code
Made signature relation extensible
More adequate names
Removed the unnecessary kind argument to the mu constructor
Cleaned up commented and debug code
A little work on ADTs
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega