Correct manual entries regarding use of models with compound conditions.

[ablaom]

Otherwise expressions like models(matching(X, y)) do m m.prediction_type == :deterministic end error because unsupervised models do not have prediction_type as a trait (despite the fact that matching(X, y) rules out unsupervised models).

[ablaom]

Okay, the use of all already makes this short-circuiting. I was forgetting that models(c1) do m c2(m) end is equivalent to models(c2, c1) and not models(c1, c2). So instead of trying to be clever (and failing) I should have simply performed

models() do m
    matching(m, X, y)  &&
    m.prediction_type == :deterministic
end

which works.

However, my entries in the manual and cheatsheet are flawed and need to be corrected