Introduce some notations for proc-lang.