added some additional comments that help understanding the type check for #38 and #19