Should Your Specification Language Be Typed?