nial/fol: start on a first order logic toolkit