ATS-parse-emit-CIL: more examples; fib doesn't work (boxed types are
not implemented yet).