Fix multiple readonly variadic args in typechecker