local type assumptions

[borisbat]

def in_regular {
    assume type foo = int // local type alias
    var a : foo = 42
}
def in_generic ( a  : auto(TT) ) {
    assume type TT_ARRAY = array<TT> // generic type alias
    var b : TT_ARRAY
    return <- b
}