Change terminal colours to be more align with the scheme #2183
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Colouring in the REPL now is a bit closer to the scheme we have for Juvix.
![Screenshot 2023-06-07 at 07 05 34](https://private-user-images.githubusercontent.com/8126674/243928520-c0077c7c-edba-4ed8-9824-f9b9e773e943.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzkzOTgyMTQsIm5iZiI6MTczOTM5NzkxNCwicGF0aCI6Ii84MTI2Njc0LzI0MzkyODUyMC1jMDA3N2M3Yy1lZGJhLTRlZDgtOTgyNC1mOWI5ZTc3M2U5NDMucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI1MDIxMiUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNTAyMTJUMjIwNTE0WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9YThjMDJkNzY3NmE1NzEyYThiZmVjNTZmMjYwZTI3YzM2ODFlNjM2MTUwMmI0MTliODQ1Njc2NDUyNjRkMjk0MyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.CfAKE_5fubj0Ie_GhPd73uHqWcw2oh3DxUKENodVKNs)
Because of the allowed colors in the
prettyprinter-ansi-terminal
we can use one of the standard colours only: