The lower case letter for an ASCII capital c; any other byte is returned as it is.
c
to_lower :: (c: u8) -> u8
assert(to_lower(#char "Q") == #char "q");