CSPM.TypeChecker: Combine some cases that have equivalent behaviour whilst also properly unifying type lists of the form [TVar,..] [TVar,..].
CSPM.TypeChecker: Combine some cases that have equivalent behaviour whilst
also properly unifying type lists of the form [TVar,..] [TVar,..].
sashabu/libcspm