Cleaned up references and terminology usage, moved example to appendix