integrate PBC generation more naturally into HLL::Compiler