Fixed i31

http://gsd.uwaterloo.ca:8888/question/152/determine-the-right-bitwidth
Fixed typos
Fixed bug where bitwidth was not updated upon reload
Fixed merged conflicts
Merge pull request #8 from gsdlab/i31

Implemented [I31] http://gsd.uwaterloo.ca:8888/question/152/determine-the-right-bitwidth