typo (rename)
progress on build_interpretation, up to got k_assums made