Feature/reentrant1: Add arity "arena" to all functions.