A Multilayered Declarative Approach to Cope with Morphotactics and Allomorphy in Derivational Morphology