Implement correct scoping rules for arrows, i.e. the distinction between "compile-time" and "run-time" values.