Curated applications

This facade gives short names to a deliberately small set of ready-to-use compilers and flagship lower-bound endpoints. The defining modules remain the source of truth for hypotheses and supporting theory.