add arities, update some types