Fix type-checking of select to handle non-concrete condition type See merge request !56
See reports/ for discussions of Hercules' design.
reports/
