add option type to inferencer's initial decls