Put some stuff in modules to increase readability. Wrote "instantiate" function as "dual" to lift. Started writing down the higher W-type stuff and wrote down the circle as an instance of this.