expanded errors. Added strict typematch.