remove module exports to inference.hs

ghc won't create the exectuable if it's a module
base readKB on readClause and allow both clauses and ifrules
extract clause parser of readClause and use it in readKB as well

This is will make error messages from readKB have correct line numbers