add types for Stx-Null, Stx-Pairof, and Stx-Listof