Typechecker - Små rettelser