Untagging a few more specs for Kernel.eval