Improve language structure #16
Description
Tasks:
- Register submodules of
tensorsat.langas languages. - Track the boxclasses and typeclasses defined by a language.
- Track dependencies between languages, based on the typeclasses declared by their boxclasses (requires Improve typeclass safety #15)
- Enforce that each language/module has a top boxclass, which implements
_contract2