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