Documentation and readme. Fixed a bug with builtins.