fixed up stdlib core, now only stdlib ext left to fix