added type declarations as expressions