Work on arrays, some pseudo type sigs for typed.core