syntax: implement #[deriving(TotalOrd)]