fix visibility
elaborate error messages
fix def of enumerated bounded type args
improve todos
improve the note about void