KJ-15 Eliminated the rule unwrapElabNaked - replaced with context rule.
The logic of literals had to be changed slightly. I had to review what should be wrapped into elab and what should not.