Switching to open-isns

Quite a big change, but that's what fate#316901 wanted.
Huh? This is suspicious, why can we omit the Builtins module name here? It is used everywhere else.