Added an header to C values; a debug mode for interpreter and simplified
the type system.