Adding the necessary externs as binders
Fix for subtyping with Top.