Get rid of `pwd` work-around
Define main as a submodule instead of a function
Don't use syntax quasiquotes unnecessarily
Merge @/tell-with-check and tweak it