Juno Improvements: type inference and intrinsics See merge request !33
See reports/ for discussions of Hercules' design.
reports/
