progress on stmts -- starting on procedures with representation types in concept realizations