Specify ConcreteHL as containing class for PostedExpr