Language Design for Reliable Software