Updated an issue in the validity checker
Added support for chained programs with an infinite type system