covers.clj: refactored and added a function
cosets.clj: small bug fix