When initially constructing the HRG (line 128), I agree with what @darcey said a while back that specifying the start symbol might be annoying. In particular if someone wants the start symbol to have external nodes, they will have to explicitly create an EdgeLabel object, which I'm hoping to avoid. #155