-Add compile examples
-Improved type error message