What about ReScript? As far as I understand ReScript has a sound type system which would make it an even better foundation?