add notes on low level types to Basics.pod, other notes