No. 9 (1998): RS-09 Encoding Types in ML-like Languages (Preliminary Version)