(defpackage :typecheck
   (:use :cl )
   (:export ))
 (in-package :typecheck)