Implemented piecewise

13 jobs for TypeSystem in 2 minutes and 19 seconds (queued for 2 seconds)