Added imports and derives for Uniplate
WIP: Now converting to Mu bound types works
Added different variations of data-type declarations