Remove overly restrictive default value check
Make rules for VITAL packages
Fix trees not being copied in copy_s
Remove redundant check from test_sem
Rewrite all trees within types