init dota from dotg
some lil fixes noticed when starting a new in dota
deleting all that needs to be redone
add form for method body in execution
reduction relation
typing judgment