Functions determine their correct type now; Node's initChild() is called at appropriate times.