generate all types and functions that are not mentioned when possible

[zilinc]

Can be a flag.

Now the compiler only generates things that are either mentioned (transitively) in the entry-point file or in Cogent code. For monomorphic functions and types, we can selectively blindly generate all of them.

Or add types also in the entry-point file.

Also we'd like to generate constant definitions in C.