MOOSE project -- looking for a language

[David Richter]

You might look at the work already done on OS's written in Scheme.
(qv. the Scheme FAQ in comp.lang.scheme or comp.lang.lisp).

Regarding typechecking, if you don't want to reinvent the wheel, check
out Andrew Wright's soft-typer for Scheme.  It should be extendable to
support type declarations at (eg.) module boundaries. (A reference
should be in the FAQ, otherwise ftp to ftp.cs.rice.edu and look
around.  If I remember, it wasn't overly hard to find.)

David