Finding program symbols
Main change: meta declarations now accept arguments of type ident
to represent program symbols.
This fixes problems related to finding program symbols by name in the reflection transformation. Decision procedures are now declared using meta reflection val <name>
.