[t54] started defining typed bintree
[t54] another checkpiont, closer to compiling
[t54] compiles
[t54] all better, thanks pfds