Merge pull request #23 from Ptival/master

Some minor corrections
add RAppTy type
return is safe
splits RTyApp
GHC Invariant
monad tests
monad tests not crashing
refreshing RAppTy types
monad3 safe, add fixme
maybe as monad
adding fixme1
tests
mv fixme
more tests
more tests
renaming
add parsing tests
parsing works
lists in monads
trying  state monad