type safety

Ethos' Deeply Integrated Distributed Types