Add deft.
Simplify mkList().
Add comments.