ML dialect with zero-cost abstractions for safe systems programming