12 Type rules
+++ here we describe the type rules of qBeta TBD