キーと値の型をspecで明記可能なようにsplay_tree:tree/2を追加