Supporting Reliable Distributed Systems in Ada 9X: An Initial Proposal