Unicode

Added Unicode support to astateful.