An Extensional Development Environment