name about title labels 💥 Proposal Propose a non-trivial change to snarkOS [Proposal] proposal 💥 Proposal