use sane value names rather than random strings

[AlephNotation]

rather than using randomized strings, we use normalized values so we can do substitution more easily