New design for code generation and contract typing/kinding

The following discussion from !2721 (closed) should be addressed.

The new design is also a simplification of the self_ast_typed pass which now runs on any program and generate code for entries based on the kinding information.
We decided it is better to deprecate view/entry declaration through CLI