Better commenting for visit-type.js