Generalize overridable language items

[Desdaemon]

Models, fields and methods all need to keep track of previous declarations to emulate the runtime behavior.
A data structure data keeps a reference to its ancestor, and capable of iterating recursively up the ancestor chain would be helpful.