add guard for incomplete type details
add notes