Add smart constructors for terms, and other improvements to fly/src/syntax.rs #701

	name: CI

	on:
	push:
	branches:
	- "main"
	pull_request:

	env:
	CARGO_TERM_COLOR: always
	## Incremental builds only slow things down in CI.
	CARGO_INCREMENTAL: 0
	RUST_BACKTRACE: full
	TEST_STRICT_VERSIONS: true

	jobs:
	build:
	name: Build and test
	runs-on: ${{ matrix.os }}
	strategy:
	matrix:
	toolchain:
	- stable
	- nightly
	os:
	- ubuntu-latest
	# disabled since we aren't typically making OS-specific changes
	# - macos-latest
	fail-fast: false
	steps:
	- uses: actions/checkout@v3
	- name: Set up cache
	uses: actions/cache@v3
	continue-on-error: false
	with:
	path: \|
	~/.cargo/bin/
	~/.cargo/registry/index/
	~/.cargo/registry/cache/
	~/.cargo/git/db/
	target/
	solvers/
	key: ${{ runner.os }}-${{matrix.toolchain}}-cargo-${{ hashFiles('**/Cargo.lock','tools/solver-versions.sh') }}
	restore-keys: ${{ runner.os }}-${{matrix.toolchain}}-cargo-
	- name: Download solvers
	run: \|
	./tools/download-solvers.sh
	- name: Check solver versions
	run: \|
	./solvers/z3 --version
	./solvers/cvc5 --version \| head -1
	./solvers/cvc4 --version \| head -1
	- name: Install toolchain ${{ matrix.toolchain }}
	run: \|
	rustup set auto-self-update disable
	rustup toolchain install ${{ matrix.toolchain }} --profile minimal
	- name: CI checks
	run: ./tools/ci-check.sh --ci
	- name: Install license-header-checker
	run: \|
	curl -s https://raw.githubusercontent.com/lluissm/license-header-checker/master/install.sh \| bash -s -- -b ./bin
	echo "$PWD/bin" >> $GITHUB_PATH
	- name: Run license check
	run: \|
	./tools/ci-license-header-check.sh

Provide feedback