renamed ploy Mem -> Arr.
reduce unnecessary mutual recursion.
fix xcode schemes to pass in core files.
fix lingering Mem-Int -> Arr-Int.
Expr types that were Arr kinds are now structs.