Please don’t overload “declare”.  That form is already used by Gambit and Chicken (maybe others?).  In any case, “declare” is too generic a name for something that performs a type check.  Better would be “assert-type”.

Marc