checking module A

   Happened in operation silly in A.gf, line 5:

      A function type is expected for a_Det instead of type Str