hyper_lambek_calculus