Thanks @lantua! And we’ve already implemented the typechecker for these features so I have no excuse :)
Typo and similar feedback is best directed to the PR.