Documented lazy sessions (4.i) and fixed all validation errors.