Add inference TermRaw test to test suite
Remove () restriction in makeElement and with
Remove references to with in README