Toward a multi-user, programmable web concept mapping "shell" to handle multiple formalisms