This is work in progress, which currently handles:
* cases in a function bodies
* initializers for variables
* decltype() for variables
* decltype() for function return values
* auto for variables
* constexpt/consteval for function and variable types
* support for function templates
* support for template instantiations in module consumers
* initial support for lambdas.
* support handing lambda exposures.