Title: Safe languages mechanisms for modularization and concurrency