TODO: Say something about the builtin functions somewhere (ref: christiaan)
TODO: Reorder future work.
TODO: Future work: Use Cλash
TODO: Say something about the builtin functions somewhere (ref: christiaan)
TODO: Reorder future work.
TODO: Future work: Use Cλash