Enhance ADT::ClassMethods#ic with options and unit test it.
Add a :literal information contract to Integer.