non-working attempt at sympilifing the LTc type-system
Revert "non-working attempt at sympilifing the LTc type-system"

This reverts commit b8a51e043fe2101ceb7a31649c930fabdbde9e03.