Some more Idris basics
Create attic
Add unused code from "Dependently typed WBL heaps"