started the data definition and some predicates for derivation
mostly finished with the math-expression? predicate.
pulled out the data definition for math expressions into its own file. experimented with match based derivation
moved the predicates to data.rkt
added a license