Fixed implementation of Closure(item)

Fixed typo where all closure computations were done recursively on the LHS of an item rather than its RHS
Added toString for Item class for easier debugging