[Feature] Char Type Inference

[gluax]

🚀 Feature

The goal is to add char to the Phases Reducer, allowing type-inference to handle characters.
Depends on #939.

Motivation

Right now, each of the AST and ASG relies on a reducer to handle certain phases such as canonicalization, type inference, etc.
The goal is to update the Reducer, allowing the type-inference phase, and we can now compile Leo.

Implementation

Type Inference

• The reduce_value function will need to match on ConstValue::Char to resolve the type leo/compiler/src/phases/reducing_director.rs.

Tests

• Compiler Tests:
  • Assigning a char.
    • Explicit.
    • Non-Explicit. Type Inference Should be tested here as well.
  • Passing a char to functions.
  • Circuit member variable char fields.
  • Input
  • Output