CLN: renaming
ENH: add occurs-free? func
TST/ENH: tests for and impl of occurs-free and occurs-bound
TST: add occurs-free and simple occurs-bound test