make more classes final to improve casting speed
Finally implement tuple type slicing properly