starting metatheory notes