Top level search for PExp implemented (subexpressions currently ignored)
working out structural issues