Closes #20: WRONG: Could not find var in env base:GHC.Base.++
Show instances for TypeExtractor.DataTypes; refactoring in Testable