concrete BasicBul of Basic = open SyntaxBul in { lincat Class = CN ; };