[cogman10]

Always an option to push for something like mypy. That'd at least give students exposure to types (even if they don't have to write them)