don't use path dependent types for tree nodes which might need to get
rewritten, fixes #4