Partial support for AtMost constructors

    Partial because:
      * No exaustive testing
      * Does not keep track of the AtMost rule, as it *should* do,
        for future reference