Internal<T> can be literals
Simplify Internal<T> literal expressions

Simplify Internal<T> expressions that consist solely of literals
whether they are in a monoid or not.
Prune branches where the condition is a literal
Add performance tests
Fix typo that caused test failure