- Added tag clause
- factored-out common patterns in eval-expression and compile-expression into macrolet