--# -path=.:present:prelude

concrete MathEng of Math = MathI with
  (Syntax = SyntaxEng), 
  (Lex = LexEng) ;