Fixed bad character
Added module defining ArithEncode class.
Added identity ArithEncoding
Added Integral range ArithEncode instance
Added literal encoding ArithEncode instance
Changed the way isomorphism type is treated in the class
Added modules
Split ArithEncodeBound off from ArithEncode
Added option ArithEncode instance