Experiment with indexed SafeT

This is not a real pull request. I will describe the idea on the mailing list and just putting this here, so it's easier to comment on the code.