Recursive type equality check for de-duplicating (#30)

Recursive type equality check for de-duplicating (#30) #102