diesel

Typechecking module.

diesel was moved to curious