An environment for implementing random things