add new version using Arity.agda