Symbolic programming for Javascript