The pure object oriented programming language with extensive metadata available and modifiable at run time is
Answer : Small Talk
Smalltalk was one of the earliest object-oriented (OO) languages (with others like Simula and Eiffel) and can be said to be extremely "pure" in an OO sense:
Everything is an object and objects are only communicated with via the sending of messages
No primitives (no ints, booleans etc)
No control structures (no for, while, if etc).
Reference : Small Talk Overview