Added _lessThan()

Fixed a bug in IntType -- looks like we've never been sorting by Int
correctly.