full implementation of helpers for dotcode
rationalize checkTypes code
Merge branch '23-more-dotcode' into 24