Size Functions from class 12/3

Added size implementations for both the previous braun_tree implementation and a new btree with Braun(btree) property implementation. 
Also wrote vanilla size with monads, and proved linear runtime as measured by the counting monad. 

Also includes the implementation of diff we created in class.