Better errors in typechecker
Do the rustc thing in stringify!