Adding more examples, sketching an idea for inference when outputting ATS code.