Exercise 3.24: Created stubs for hasSubsequence and test.
Exercise 3.25: Implemented the size function and added TreeSpec.