Adding source repository section for head
Exporting FlipT data constructor