Customizable composition operators for Java-like classes (extended abstract)