apply srewrite (explicit types for implicits + no procedure syntax

for constructors) to tests/untried/pos
apply srewrite (no procedure syntax for constructors) to tests/untried/neg
move all tests in tests/untried/neg which use implicits to tests/untried/neg-with-implicits
Merge pull request #84 from samuelgruetter/srewrite-tests-1

Explicit types for implicits in tests/untried