Implemented configs and field_decls in compile.ml