inferred types transformation for Rep DSL