test fn arity inference, add a few more lib cases