Re: alternative translation of type classes toCHR(was:relaxedinstance rules spec)