Added reminder about JS Tracker 0.13.1
Added note about whether we can clean up toCanonicalInput
Cleaned up with some pattern-matching
Added a couple more TODOs
JavaScript Tracker: bumped JS Tracker submodule to 0.13.1 release (#511)