ExpressionTransformer #972: turns out downcast rules apply to type params after all

See #935 and #934
ExpressionTransformer: Fix for #934 #935: tuple item/spanFrom access type is sometimes downcasting
ErasureCasting: added tests for #934 and #935 cases of tuple item/spanFrom access
Marked tests for #934 and #935 as fixed