Use Phis for expression metavariables in chapter 1, see #247