Check whether this version is older than the argument.
public function older(PhpVersion $other) : bool { return $this->id < $other->id; }