The theory of optimal taxation is often based on the neoclassical standard model of the labor market. That model includes the assumption that a household can choose freely how much to work and how much to enjoy leisure time. In such a framework, households derive utility from consumption c and leisure time z: u(c,z), where total time T is divided between labor l and leisure z, i.e. T = l + z. The time spent on labor is remunerated at wage w, so that households have an income y = wl that they can then consume.
In reality, however, households do not have the freedom of that continuous labor-leisure choice. It's rather the binary choice to accept a job or not. Moreover, for example, the neoclassical model predicts that a minimum wage causes unemployment. We do not observe this in reality.
Given the shortcomings of the neoclassical model of the labor market, how useful is it for a) advancing economic theory on optimal taxation and b) informing policy making? Is there a better alternative?