[m-dev.] array.m: remove type_to_term and term_to_type

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> 
> Here's a full list (I wrote this down a while ago, to make sure that
> we had covered all the cases).
> 
	[useful list deleted]

Is this in the compiler design? If not, it should probably go there.

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.