Worked out the entire article. Somethings don't typecheck (they are
commented).