Language changes: ~[] removed from the type system