Sem: Basics for assigning identifiers (and very nice error messaging)