0.1

• Initial release.
• Codepoint: Unicode code points in the range 0x0-0x2FFFF (planes 0-2).
• Ustr: SMT-LIB Unicode strings and the str.* operations.
• Reglan: SMT-LIB regular expressions (re.* operations), with membership decided by Brzozowski derivatives.