Update ast

Large-scale reworking of the internal structure of the system. The use of a ring list has been replaced by a span, the verification system has been reworked - now instead of individual functions, classes are used that implement a virtual interface.