Slightly tidy datadepsScript.sml (remove unnecessary asimp tactic)
Move code to symbolically evaluate ast programs to astLib.sml