Perhaps the Orchard.Web package doesn't include the Themes.csproj file; instead, you should probably download the full source package if you want to develop. It provides a much better development experience.