Yeah, I agree we should add StringSlab and StringAnalysisFunction. That should at least get us down to just the input and output types.