Translate declarations properly, initialized to an initializer expression, a type...

Translate declarations properly, initialized to an initializer expression, a type-appropriate zero expression if at top level, or None (temporarily disable translation of statements since we now output lines directly, rather than an AST)