Switching to simpler nary/arity, removing Function constructor