added notation for partial type patterns
added parser for function patterns