Performance improvements

[MxmUrw]

There are multiple things which could be improved

• we need too much ram #233

The following could be relevant:

• Consider to store terms instead of TC values in the scope. #143
• cycle detection is inefficient #47

Examples which take too much work:

• this function takes a long time to check and creates a million type variables #132