AS7-6964: Recursive expression resolution

Do not merge yet:
- Initial pass at implementation (for feedback)