navbar now correctly type checks on sessions
developers/repositories no longer renders based on the existence of projects.