WIP: work on updating compile_dec theorem for printing

unsure what the correct statement should be for type declarations, since
not sure if printing them when the call to compile_dec is within a
module.
change printing semantics to not print module contents

print an opaque module name on success, otherwise just print the error.
(for non-module declarations, print all the new value/constructor
bindings, or the error.)