rewrite mzlib/contract to racket/contract
adjust mzlib/contract so that it doesn't require any racket/contract/private stuff
move mzlib/contract into compatibility-lib