Improved pl_true

1. Completely refactored pl_true to use subs.
2. Added parameter 'deep' which can return better results in case of partial interpretations.
Oh, this is temporary. I haven't raised any exception or handled any special cases in the code yet. Once I get some validation of my idea, I will uncomment these and raise the appropriate exceptions.