Breaking through the normalization barrier: a self-interpreter for f-omega