Taxing Residential Solar