fix `module+' type checking to allow definitions