added all the cases to show reflection
finish up the characterization section with the new typing rule