Move term projections to separate file.
Check list arities.
Add checks for most expressions.