add @todo item: generalize definition of Weinberg angle