Refactoring binding utils: returning SymbolRef instead of option.
Introduce abstract declarations.
Fix runtime.
Work on declaration inheritance.