var t: type = astype [int];
var u: type = astype [t];

var a: u;

t = astype [float]; //redefnition

var b: u;

print typeof a; //<[<int>]>
print typeof b; //<[<float>]>