Crystal isn't really "typed Ruby" because that would mean it includes all of the same metaprogramming capabilities that Ruby does. Crystal is a lot more limiting than Ruby in this regard. For example, Crystal doesn't allow you to automatically generate class constants.

I would say the elevator pitch is "A systems programming language with an expressive syntax, similar to Ruby".