ADD: Implemented TypeDecls