slime.checks
Classes 
Typecheck
Wellformed
Exceptions 
CheckException