Commit WIP on semantics.tex
Remove unused `MethodV` constructor