Asymptotics for lasso-type estimators | Synapse