Cleared up formatting of typechecker types