start typechecking member literals

far from finished, but at least some tests stopped failing