Start section on modularity with singleton types