working on adding the initialization, constraints stuff to concept type declarations..