TLA+ Conf - Towards Interactive Formal Specs