Macro Adjustments

-Make fallback error message for .exists to include expression source.
-Added missing scaladoc in Requirements.