Loops, grips, impossible type combinations, change of type, age and function development, alternative function stacks
