Fixed annotation of which passes have run.
Added a first TypeStructure annotation that suggest to inline all struct members possible (which currently is all).