The original OpenQASM2.0 library was called qelib1.inc and contained a certain number of gates.

Qiskit now has more gates, and we have (inconsistently) added some of them to that library. I think qelib1.inc should stay how it was defined in the OpenQASM paper. We should have a new one stdgates.inc that has QASM definitions for all of Qiskit's standard gates.