closure-convert debug; change remove* in prelude to test
only for variable (but not type). So uncover-free-vars
is modified accordingly (this fixes this case where

   [(lambda (,v) ,e)
       (let [(var/e (uncover-free-vars e))]
           `(,(remove* (list v) (car var/e)) ,var/e))]

fails to remove occurences of v properly as v doesn't
contain type information.
remove debug code, update goals