ElementBinder and the Tagging Compiler