;; force a var to a particular type ;; (i.e. wipe out other choices) ;; ;; do allow force-var to overwrite kts values (define impc:ti:force-var (lambda (sym vars kts t)