Online Name-Based Navigation for Software Meta-languages