SimpleDelegator: fix stdlib constant loading also, and explain that.