Fixes: empty list and cons for type lists