Remove NO_WARN_IMPLICIT
Reorder Cabal functions
Fix constraint file naming
Tweak hooks
Improve notation
Tweak naming
Tweak use of find functions
Allow specifying explicit constraints for extra apps