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

...iables

**please review**
One extra space here, making the column to not be aligned.