Greatly simplify logic thanks to xeno_by.
- Extract the constructor symbol directly from the result of typecheck()