[Pending: see the transpiler demo in the Slang Overview presentation at ISoLA'21]