Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code.