Added the smaller protocols needed for the project.

F* code should be done