More elaborate local, polymorphic, variables...

...seems that this is unnecessary, and can be inserted into CoreToRich
if it becomes.