lose precision
fix the loss of precision bug
change the way to do cst instantiation, trying to avoid unecessary weakupdate
fix a bug of instnSkip because of not considering hasType
change the way to cache weak update
use one cst instn factory, and refactoring code
nothing
merge batik, fix conflicts, need to set boolean for substitute