with-contract issues

[Stefan Israelsson Tampe]

Hi,

Trying to implement with-contract I would like to mod define into a new variant
depending on if the symbol is a contracted variable or not, if it's a contracted 
variable one should translate the define according to

(deifne f/contracted val)
->
(define-values () (begin (set! f/contracted val) (values)))

and just leave it else. 

The problem is that either let-syntax and fluid-let-syntax works it looks like
define is hard coded into psyntax and is not macroexpanded if a macro is available
that is not the standard version. It would be cool to be able to mod define and have the same
functionality as in racket, currently one has to set! the contracted variables which is a bit hacky.

Regards
Stefan