Coding Theorems for Repetition and Superposition Codes over Binary-Input Output-Symmetric Channels | Synapse