corrected unit oriented matrix in html wumpus report
added new synthetic functors