Using simplifygnx (with --match option) to turn binding to constants into where clauses.
Supporting methods for the pattern-arity analysis.
Pattern arity analysis implemented.
Cosmetic - improved comments.
Slightly clarified the text.
Note on some language design issues caused by adding logic programming