idris: simplify interpolation
nanopb-generator: simplify interpolation
Fix things that depended on finch
Fix broken alias