dsl for navigating/manipulating web pages