Added description for left-hand side projection rule in Parser.hs
Changed implementation of copattern merging, such that metavariables are inserted for missing arguments instead of placeholders. Fixes #18