Start rewriting defitions to reader monad
Fix type spec to flexible context style
Add tmp namespace