move types to maybetypes
finishing up nodes
merge conflict in sim