lack of bidirectionality in type checking

[gares]

type p tm -> prop.
type q prop.
main :- std.do! [ p, q ].

complains that [q] has type list prop rather than list (tm -> prop), but since std.do! takes a list prop it should fail earlier, saying that p has type tm -> prop instead of the expected prop.

CC @ybertot