Some README infos
Skeleton for semantics definitions