tagged semantic errors and stuff to be added with FIXME comments, cleanup