New macro DEFINE-TYPES-IN-LIBRARY