Start argument existence and type checking.