darcs/staapl import
Racket package fixes