Fix bug in ptf propagation. Fix bug in procedure returns.
Merge branch 'master' of github.com:felix-lang/felix