support `+T` `+?` `-T` `-?` to edit types in `@as` like `@cast`

[justarandomgeek]

it would be nice to be able to do the same kind of +T +? -T -? type edits with @as that we can do with @cast. Primarily for removing a maybe-nil from a return value in cases where the programmer knows it won't really be nil.