* add initial support for casts with generics; * optimize out the casts to subtypes Also add tests unchecked_cast{1,2}, the latter is disabled.