Rename field 'outputCabalFile' -> 'output'.
Use Default type class for field initialization.
Rename Targets -> Sections