adds GHC.Types.{True,False}; ignores free types in type abstractions (#7)