Refactor the var manager for being safer in multi threaded contexts

[DrSloth]

Mainly arenas which give out indices should be either locked or mutated atomically or else race conditions can occur.
The abstraction of those should be implemented in an extra type, this type could also implement #16