Improvement: lift universes in String and Char modules or make \a \b universes independent from \w universe

# Why?

MonadParsec is universe-polymorphic, concrete specifications like `Char` and `String` aren't.

It's ok, but our source has the same universe as our composite and atomic types, so concretisation of those causes the source go down to first universe.

# How?

- [ ] Make \w universe independent from \a \b
- [ ] Refactor to type check and run main

Start by reading the String and Char modules and the definitions involving the \w, \a, and \b universes. Type-check the project and run main, then determine whether the universes should be lifted or made independent; done means one approach is implemented and both checks pass.

Written by the indexing model from the issue text.