Added more argument order/reevaluation tests. Added error cases for some builtin macros, and for DESTRUCTURING-BIND.