Closes #75 🐔️👍️ 🦀️🍰🦀️🍰🦀️🍰 * chore(clippy): clippy * fix(kernel): unfold applications where the header is a `Decl`