Added empty subsections on copatterns and syntactic guardedness to background section.