phase: add `semantize_is_lazy` flag to enable the separate analysis of npropdefs

Signed-off-by: Jean Privat <jean@pryen.org>
modelize: `mpropdef2node` and `collect_attr_propdef` can process npropdef lazily

Signed-off-by: Jean Privat <jean@pryen.org>