Load formulae into private namespace
Remove readline hack :tada: