Types fix again.
Finally have well_typed defined.