version 0.0.9: new built-in: shuffle / bug fixes in other built-ins