promote 'mixin' from CustomElements into Platform lang.js