removed test-calls from matrix.raml.trs
trivial processor checks for empty DPs
clarified decompose output
clarified >>> proof output
added RTS -N option to ghci system call
pushed version to 2.0