bug fixed.add support for meta language(lambda calculus) without declaring new struct.
ddvwrq
bug fixed.add support for meta language(lambda calculus) without declaring new struct.