More extensible danger checking with argument types
Restore num params checking
Fix if and for structure
Abstract single command checking
Use error returns rather than random prints