Change interface files and ADT checking

 * ADTs are now checked as types when KindOnly is found
 * Interfaces don't store a PromFlavour instead of a Bool for ifPromotable
 * Many updates for switching to PromFlavour instead of Bool