First difinition of data types for karyon expression