remove unnecessary lazy modifier in Cofree#scanr
override DisjunctionOrder#equal, ValidationOrder#equal