Add size_of and size_of_val and align_of and align_of_val to the prelude
#123168
+22
−23