Function to test structural equivalence

Based on the definition of Structural equivalence we can write a function which checks for the structural equivalence of two types for a simple language.