added a context which is the root of every type