bugfix: BnfiExpressionChoiceTL RuleTypeless
added an extra typeless BindMember
fix BindMember
remove unnecessary BindMember fix
added categories to tests
typesafety checks... WIP
.
typesafety tests... WIP