Deep refactorizations on how symbol overriding works, added instruction overriding