Added function to check types
Added function to check if two ExpressionPointers are pointing to the same
type