Princess 2023-04-07

Many internal modifications, and a few changes that are externally visible. The string solver was extended a lot, and will be extended even more in the near future. First steps were done to add a sequence solver, and support for lambda-expressions for defining arrays was added. The notation (_ is ctor) for ADTs is now supported.