Fix promise/promise-simplified tests by:
- removing the equivalence of ALL type variables that were ever unified
- making value restriction more strict on arrays, tuples and properties

Also update doctest.sh to run on all files
fix some doctests