Type checking is a mess, segfaults on 41, 91 and 94, errors on tons of files