add attributes to terms so that we can specify the bit width of MInt variables
fix Radu's comments
fix bugs in unparsing output
Merge pull request #829 from dwightguth/termattributes2

add attributes to terms so that we can specify the bit width of MInt var...