Can't match type predicates in Python

[morgante]

The $type condition doesn't work here.

engine marzano(0.1)
language python

`def matching_method($_) -> $type:
  $body` where {
    $type <: `List`
  }

[morgante]

Note this also doesn't work:

type() as $t where {
    $t <: `List`
}

Easy enough to work around though:
Note this also doesn't work:

type() as $t where {
    $t <: contains `List`
}

[Alex-ley-scrub]

@morgante I could probably do this one as well.

[morgante]

Thanks, probably not adding a bounty for now though.

[hechibing]

I opened PR #672 to fix this (adds a Python return-annotation snippet context + regression test).