Add type annotations to Primitives.hs to aid in understanding