Add missing declaration for reify EBindAs