Fixed building qvars with no restriction set.
Builds qvars not surrounded in parens.
Changed askif to regular function.
Rewrote debug messages. Added stubs for user functions.
Moved rule related functions to rules.clj
Added rule syntactic type.
Removed redundant syntype field.