[Logic side] introduction rule [Programming side] 
constructor
v a r i a b l e
c o n s t r u c t o r
d e s t r u c t o r
n o r m a l f o r m
w e a k n o r m a l i s a t i o n
t y p e i n h a b i t a t i o n p r o b l e m
i n h a b i t e d t y p e