se.chalmers.cs.gf.typedtree