We've definitely reached out to the Core team (a few weeks ago), and are in the process of reaching out to larger parts of the project.

Cryptography is certainly an interesting target - they certainly could benefit from the specification of the language, despite not being legally required similar to the other domains listed here.