rename SomeN to SomeNat
add Setup.lhs
increment version number to 0.5.0
improve documentation a bit
add template haskell utility