Removed termMap from System and brought back the old simple implementation of System that didnt have any edge cases. Also, just because I hate edge cases so much, I changed Reduction to allow any type of term to be reduced