Could you elaborate? How do you propose to lift runtime values into compile-time world in general case? Sure, this is going to work with integers, but what about say blocks of code? We can't reify, because that doesn't produce TSTs.