finished module 'types and declarations'