move section-constructing functions to section module
add a pretty printer for token clauses
move token-clause module from core to base