tests
guard fix
audit caching
optimization maybe
start for quasiterms