Small changes to production names, and cleaning up a few todos.

Pattern syntax still needs to be fixed with enum patterns instead of the vector pattern syntax from Lem

0 files changed, 0 insertions, 0 deletions