Separate define-analyzer
Replace dummy functors of module types to real signatures