Significantly improved robustness and accuracy of type parser, allowing for confident guesses as to the intention of the source code