Type checking from argument parsing