specs for math subset of lisp

- prep work for #2