Parser,Sema: A rough skeleton for Derived Types