Function type_of 

pub fn type_of(
    expr: &Expr,
    expected: Option<&Ty>,
    ctx: &mut Ctx<'_>,
) -> Option<Ty>