Added support for disj, although it currently leaks memory. Need to add reference counting.