Say bye to builtins.json

Fetch data from repl module instead.