Put injective type families in a separate language extension

Injective type families should only be enabled when language extension TypeFamilyDependencies is specified. This extension should imply TypeFamilies.

Edited Mar 10, 2019 by Ben Gamari

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information