Agreed. Also taxes are levied where collection is possible; economic theory is not the only consideration. Thus income is taxed in many forms, since it's easier

Agreed. Also taxes are levied where collection is possible; economic theory is not the only consideration. Thus income is taxed in many forms, since it's easier to tax than say value. And there's political reasons - corp tax is popular with the masses even if it's inefficient.