Fixed typesystem rules navigation expressions