003 Type Error, Type Checking and Type Conversion