Expression Type Checking but new prototype bug