<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_81mig37lh1mk4hkgehjbldue10, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

replace Var with ValuelessVar.
replace VarMap with Map<Var, O>.
replace SimpleStatements with MatchableRecords<Prop>.

abstract sclass Prop implements IFieldsToList {}

static withToList record WhenDid$Happen(O event) extends Prop {}
static withToList record $HappensAtSecond$<A, B>(A event, B y) extends Prop {}

static O answer(O p, SimpleStatements statements) {
  if p is WhenDid$Happen(O event) {
    ret statements.fulfillVariable(var -> $HappensAtSecond$(event, var));
  }
  null;
}

p-exp {
  SimpleStatements statements = new(
    $HappensAtSecond$("stuff", 10),
    $HappensAtSecond$("more stuff", 20)
  );
  assertEqualsVerbose(10, answer(print(WhenDid$Happen("stuff")), statements));
  assertEqualsVerbose(20, answer(print(WhenDid$Happen("more stuff")), statements));
  assertEqualsVerbose(null, answer(print(WhenDid$Happen("something else")), statements));
}