Keep all errors and warnings for code
Remove redundant typed hole warnings
Merge pull request #321 from serras/master

Obtain all warnings even in presence of typed holes