Add a function to the type equation solver which simply matches datashapes