We willen hedendaagse academische typesystemen voor parallelle computersystemen verbeteren zodat ze bruikbaar worden voor de doorsnee ontwikkelaar. Hiertoe zullen we de bestaande systemen verbeteren zodat ze betekenisvolle feedback geven, verdere analyses uitbouwen op basis van informatie opgeslagen in de typesystemen, en uiteindelijk deze typesystemen efficiënt maken zodat ze kunnen gebruikt worden in de geïntegreerde ontwikkelomgeving van een programmeur.