Add predicate "ullongs" (#63)
Add predicate "ullongs" (#63)

and move "llongs" predicate for better placement (leave ints and uints
close to each other).
willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast