Implement predicate abstraction, mostly #104

	name: Check types and formatting
	on: [push, pull_request]
	jobs:
	check:
	name: Check types and formatting
	runs-on: ubuntu-latest
	steps:
	- name: Checkout code
	uses: actions/checkout@v3
	with:
	submodules: recursive
	- name: NPM cache
	uses: actions/setup-node@v3
	with:
	cache: npm
	- name: Install dependencies
	run: npm install
	- name: Check types
	run: npm run ts:check
	- name: Check formatting
	run: npm run prettier:check

	- name: Build project
	run: npm run web:build
	- name: Upload production-ready build files
	uses: actions/upload-artifact@v3
	with:
	name: production-files
	path: ./dist

	deploy:
	name: Deploy
	needs: check
	runs-on: ubuntu-latest
	if: github.ref == 'refs/heads/main'

	steps:
	- name: Download artifact
	uses: actions/download-artifact@v3
	with:
	name: production-files
	path: ./dist

	- name: Deploy to GitHub Pages
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./dist

Provide feedback