changed type checking of yield procedures so that they can only call other yielding procedures
strengthened type checking
cleaned up the generation of mover checks (based on example from Chris)
added two examples from Chris to regressions