Good spot.  Fixing this, removing the exclusion of implementations (for now), and marking TYPES as beta/discouraged.