Typedefs for safra trees
Project proposal