first attempt to convert parts of the Leon AST to Isabelle

Also introduces somewhat simplistic error handling based on `Try`.