A development environment for Rentifiers.