Fixed type comparison for prototypes. All level1 tests pass except while.