any

[emil14]

any is a supertype for all types, all types are subtypes of any, any is not subtype for any type except itself

this could siplify cases descbibed in #142

so instead of any_vec<t, y vec<t>> = vec<t> we can say any_vec = vec<any>