added StackSafe and TypeSafe SECD machine to exercises