Binary Tree Implementation by Standard ML.