Removed IsMonotonic from package order.

This is for #2.