adding bytestring.Internal.hs
twits to pass liquid
adding Internal
trying to make it compile
add RAppTy type
return is safe
splits RTyApp
GHC Invariant
monad tests
trying to make Internal compile
tmp commit cimport does not typecheck with lintCore
embed Word8 as int
update Internal.hs
DataCons and TyCons may have same name....
Internal.hs compiles
add Bytestring.hs
Bytestring parsing, but crashing
update Bytestring
almost there: comment out Handler Type
start adding specifications : comment out class instances