fix character encoding of src/ToySolver/VirtualSubstitution.hs
add header comment to ToySolver.VirtualSubstitution