https://shenlanguage.org has static typing.