Update to FOL

Simplified the way you match number of elements. User now specifies a
function like (4>=) for how many elements should or shouldn't match.
Changed real to number.

number and real were doing the same thing so I removed real.