Idea: use undefined in place of anytype

[Verafahn]

I think infer T or @Infer(T) may be more appropriate semantically.

See Replace `anytype` with `infer T`