Adding tests from semantics examples... getting ready to pull in legacy tests