Fix bug in SaLT type checker: unknown has set type.