adapt to move of ExprT
adapted imports to accomodate for moved Symbol type