Add simpler prototypes, make terminology and notation more uniform