Reason about and eventually add support for bang patterns to enforce strict evaluation of locally defined values.