Fix #313: Sanity checks for ctor and module exports. Prevent trait exports