Adding ghciHighlighting
Testing
Export ghci style