Add section on xtlang types and scheme to types post