IR gen: simplify wrapping of llvm::Value
IR gen: range arithmetic
IR gen: extent
IR gen: stream slicing by range
type check: stricter slice range checking
parser: for_spec: use line of first available child node
environment: for-expr: don't assume presence of element identifier