Added newtype translation to Data
First try for records
Moved from Q monad to StateT Q
Added translation of record Constructor expressions
Added proper record construction syntax
updated readme