A Calculus for Boxes and Traits in a Java-Like Setting