Declare types for Monk.

Some of these types are aliases for `void *', merely for making the
thing compile.  Most those will become structs in future.