Lolita: A tagless, dependently typed, self-aware programming language