language mp - valid data type checker; return type validator