[doc] Add some unformal documentation about semantic of hyper language