rebase complex type parts on rational type