starting to implement Roflkode work into Koan types and syntax