API: add attributes `moore, plus_one, qinit` to `form.GRSpec`
API: add attributes `moore, plus_one, qinit` to `form.GRSpec`

tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control