Refactor into VarCollector
Refactor into diff classes
Its writing specs
Add prototype to README and let it predict symbols