- new type inference in SPL front-end
- various fixes