Yeah most modern languages settle on having fewer types that are used most of the time and don't require as many casts.