Adding the last versions of the type notes from Darius