checkpoint in adding appType (passing internal tests only)
.
checkpoint, 7 tests failing
checkpoint: simple unification for cases branches
checkpoint: add tysolve, to solve for type variables via constraixnt generation/elimination, and factor out tc-app
checkpoint: tysolve gives incremental results: if some are solved, the rest are turned to dynType, and if it is incompatible, that is returned instead
add bigLamType, checkpoint (internal unit tests passing)
checkpoint: all tests running, 13 failing
checkpoint: adding support for bigLamType in tysolve, to solve nested constraints, 8 failing
checkpoint: adding bigLamType support for variants in cases expression, 4 failing tests
make tycompat solve with tysolve, so that cases branches do compatibility better
add instantiation for methods based on their receiver