Treat unit type as zero-width record and defines Extended relation
type which requires parameter type.
Cleaning up instance imports.
Cleaning up TH symbol imports.