renamed tests, added issue to mcFold
final commit of night. added forall based test to test-len x for mcReduce