Added def- and cond-let macros