Investigation of custom type constrains for Scala as compiler macro