Renamed IntegerInfo to IntegerSpec, few minor naming fixes