add data decls
almost finished with ml.rkt
polish
polish more