CM.AP.3.a: Verify that the variable types are aligned to the purpose of the algorithm.