The name `Push` suggests a stack behavior. I would call that `PutDecl` or `AddDecl`.