continued work on coalgebras and metalevels