'Find the type of the given variable as it is used in this expression.
For example, finding the type of "P" in "P(x) & Q(x,y)" yields "<e,t>"
:param variable: Variable'

def findtype(self, variable):

    raise NotImplementedError()
