Type Error, Type Checking and Type Conversion