Lobsters: Designing Odin's Casting Syntax