Implement preceq.
Add skeleton for web app.
Add various SQL procedures.