expression problem / stlc modularity