Products of simplicial sets seems to work well now; pushouts are prot…

…otyped. Still need to think about how exactly to do pullbacks, quotients, etc.