Thinking about a New Type System for Perl/Cor