Mirror main's define, cond, equal? fix/add