CoreArity
manifestArity
exprArity
exprEtaExpandArity
etaExpand