Also includes a few semantic tests which were not already merged into the shared repo.
This will create a new commit in order to revert the existing changes.
