Redefinition

Added support for the redefinition branch on the compiler. 

This should be merged at the same time as the branch on the compiler!!

Also added fix for i256 see http://gsd.uwaterloo.ca:8888/question/1079/cannot-increase-scope-for-redefined-clafers