`let pure`

[andrew4328]

let pure f(a: A, b: B): C = ...;

this enforces a top down strictness guarantee disallowing any non-total behavior or side effects.