lesson-22. type checking koans

Common Lisp's type system is much more than these stuff