Look at something like type assumptions #225

an type assumption could automattily add a type check and cast whn accessing an variable/field/property.

func main() {
    let k: obj = someExternalFunc();

    assume k is i32; // automaticly cast k to i32 when accessing it
}