let add_type (role_name : string) (signature : string list) : unit = Hashtbl.add role_signature role_name signature