Fix syntax error in `sametypeclause`