Define the species of binary trees
Rename a few functions.

kSubsets -> kSubset
subsets  -> subset
nonEmpty -> nonempty
bTree    -> btree