Fixed the guard operation (I think)
Better operator names
Implemented ins and out operations on contexts

I do not think this will work on recursive contexts!!!!!!!
Uniplate instances for PTExp
Added ghci test env
WIP unfolding