mu: implement ES5-compatible Symbol and WeakMap.