Various fixes. make errors finite, name checking, more errors stuff