bugs: Add test for checking modifications of types