Use push typechecking for top level declarations. Fixes #67