Added cyberdyne examples
fixes to heap
Added arity checking