Checks if internally specifications are embedded into lets,
Passes constructs can be empty.

Added copiedFrom when extracting pre and postconditions.
Added lookup functions for extracting similar expressions.
Fixed a bug when converting substring to CVC4 target.

Also add couple of utility functions

This reverts commit 55e0adfd. (Isabelle
fails)

typeBound now is the base function for all other functions

Reintroduce existing functionality as instances of it

instantiateType now takes TypeParameters

Move Same to GenExprOps

Write a few more tests

Fix typeCardinality