add dotf.ss as a cheatsheet
work on typing rules for simple-v1