Define an interface for T-norms

[hoheinzollern]

As discussed with @ndslusarz yesterday, the formalization is using various T-norms (and T-conorms), so we should design a proper interface and organize our lemmas to make use of it.

See for example Wikipedia: https://en.wikipedia.org/wiki/T-norm