Changed unit-tests to plai-typed/untyped.