Sprinkle datatypes with strictness annotations