Recompiled horn
Removed selectedType from decls.cc