Change: DaoType::simtype to DaoType::nocyclic with improvements;
Add: a minor improvement to constant folding;
Fix: a minor typing bug for specialized instruction for numeric arrays;
Fix: a minor bug in handling enum.