Universal quantification instead of list Prop when using formula list forms in Coq
This is a bit of a hack, but list Props are tricky to work with in coq,
and more often than not this is what is meant by formula list forms.