improved type kinds test; added implicit conversion for logical type
consistency: dump implicit conv in lower case