CFP - From type theory to morphologic complexity.