feat/chore: add and use custom elaborators for immersions

And golf the fail using it, a bit. Other usage sites expose bugs or unexpected error messages...
TODO: add basic tests for basic usage
TODO: fix those errors (then try to golf further!

Author: grunweg