Prepare complex type handling

Grammar allows constructions such as
``
let f : R*R -> R*R, x -> x;
``
This expression does not actually compiles since expression types are not
correctly defined, thus semantic analysis fails