Removed MacroExpression.scala, since we are now using Fact.