Function infer 

pub fn infer(
    ctx: &CompileContext<'_>,
    target: MeasureId,
    expr: &Expr,
) -> Result<TypedExpr>

Pass 1: type + dimension inference.