fix divide compilation
add "types" to S-Expressions

hopefully that makes it easier to pass structure info through from the
parser to the compiler regarding what kind of info is in the s-expression