tir: Implement normalisation by evaluation

[kontheocharis]

Replace current substitution-based evaluation with NbE into some semantic domain.

Steps:

1. Figure out what the semantic domain should be
2. How to represent it? Separate data structure probably..
3. Implement it