pub fn check_special_tuple_cons(
    checker: &mut TypeChecker<'_, '_>,
    args: &[SymbolicExpression],
    context: &TypingContext<'_>
) -> TypeResult