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