Add ExnDecl.t