add missing jstree types