Implement star and plus for PNFA. Improve formatting of NFA::compile